proximity theorem - German English Dictionary